翻訳と辞書
Words near each other
・ Companies Act 1928
・ Companies Act 1929
・ Companies Act 1947
・ Companies Act 1948
・ Companies Act 1956
・ Companies Act 1985
・ Compactification (mathematics)
・ Compactification (physics)
・ Compaction
・ Compaction (geology)
・ Compaction of ceramic powders
・ Compaction simulation
・ Compactly embedded
・ Compactly generated
・ Compactly generated group
Compactly generated space
・ Compactly-supported homology
・ Compactness measure of a shape
・ Compactness theorem
・ Compacton
・ Compactor
・ CompactPCI
・ CompactPCI PlusIO
・ CompactPCI Serial
・ CompactRIO
・ CompactRISC
・ Compactron
・ Compadre
・ Compadre (ship)
・ Compadre Academy


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Compactly generated space : ウィキペディア英語版
Compactly generated space
In topology, a compactly generated space (or ''k''-space) is a topological space whose topology is coherent with the family of all compact subspaces. Specifically, a topological space ''X'' is compactly generated if it satisfies the following condition:
:A subspace ''A'' is closed in ''X'' if and only if ''A'' ∩ ''K'' is closed in ''K'' for all compact subspaces ''K'' ⊆ ''X''.
Equivalently, one can replace ''closed'' with ''open'' in this definition. If ''X'' is coherent with any cover of compact subspaces in the above sense then it is, in fact, coherent with all compact subspaces.
A compactly generated Hausdorff space is a compactly generated space which is also Hausdorff. Like many compactness conditions, compactly generated spaces are often assumed to be Hausdorff.
==Motivation==

Compactly generated spaces were originally called k-spaces, after the German word ''kompakt''. They were studied by Hurewicz, and can be found in General Topology by Kelley, Topology by Dugundji, Rational Homotopy Theory by Félix, Halperin, Thomas.
The motivation for their deeper study came in the 1960s from well known deficiencies of the usual topological category. This fails to be a cartesian closed category, the usual cartesian product of identification maps is not always an identification map, and the usual product of CW-complexes need not be a CW-complex. By contrast, the category of simplicial sets had many convenient properties, including being cartesian closed. The history of the study of repairing this situation is given in the article on the ncatlab on (convenient categories of spaces ).
The first suggestion (1962) to remedy this situation was to restrict oneself to the full subcategory of compactly generated Hausdorff spaces, which is in fact Cartesian closed. These ideas extend on the de Vries duality theorem. A definition of the exponential object is given below. Another suggestion (1964) was to consider the usual Hausdorff spaces but use functions continuous on compact subsets.
These ideas can be generalised to the non-Hausdorff case, see section 5.9 in the book (Topology and groupoids ). This is useful since identification spaces of Hausdorff spaces need not be Hausdorff. For more information, see also the article by Booth and Tillotson.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Compactly generated space」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.